$e_{2}$ = first $e$ $\geq$ $e_{1}$.$P$($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}le(${\it es}$; $e_{1}$; $e_{2}$) $\wedge$ $P$($e_{2}$) $\wedge$ $\forall$$e$$\in$[$e_{1}$,$e_{2}$).$\neg$$P$($e$)